#ifndef __UART_H_
#define __UART_H_

void uart0_init();
int putchar(int c);
int getchar(void);
int puts(const char * s);

#endif


